$\forall$$l$:IdLnk. lnk{-}inv(lnk{-}inv($l$)) $=$ $l$